Nikolaeva E. «Test generation for single and multiple stuck-at faults of a combination cir-cuit designed by covering shared free BDD with CLBs » // 2009. №1 (6) C.81-98
Ostanin Sergei A., Bucharov Alexander V., Matrosova Anzhela Y., Kirienko Irina E. «Generating all test patterns for a given stuck-at fault of a logical circuit and its ROBDD implementation» // Tomsk State University Journal of Control and Computer Science 2014. №2(27) C.82-89
